CROCK2.LSP[BMP,SYS] - www.SailDart.org

perm filename CROCK2.LSP[BMP,SYS] blob sn#737801 filedate 1984-01-14 generic text, type T, neo UTF8

;   An auxiliary file for the compilation of the TOPS-20 Maclisp version
;   of our theorem prover.

;; (DECLARE (FASLOAD GENFACT FASL AUX "CL.THM"))
(DECLARE (FASLOAD GENFACT FASL))